Complete Problems for Monotone NP
نویسنده
چکیده
We show that the problem of deciding whether a digraph has a Hamiltonian path between two specified vertices and the problem of deciding whether a given graph has a cubic subgraph are complete for monotone NP via monotone projection translations. We also show that the problem of deciding whether a uniquely partially orderable (resp. comparability) graph has a cubic subgraph is complete for NP via projection translations: these problems were previously not even known to be complete for NP via polynomial-time reductions (the class of uniquely partially orderable graphs is a proper subclass of the class of comparability graphs).
منابع مشابه
On a variant of Monotone NAE-3SAT and the Triangle-Free Cut problem
In this paper we define a restricted version of Monotone NAE-3SAT and show that it remains NP-Complete even under that restriction. We expect this result would be useful in proving NP-Completeness results for problems on k-colourable graphs (k ≥ 5). We also prove the NPCompleteness of the Triangle-Free Cut problem.
متن کاملComplexity of DNF minimization and isomorphism testing for monotone formulas
We investigate the complexity of finding prime implicants and minimum equivalent DNFs for Boolean formulas, and of testing equivalence and isomorphism of monotone formulas. For DNF related problems, the complexity of the monotone case differs strongly from the arbitrary case. We show that it is DP-complete to check whether a monomial is a prime implicant for an arbitrary formula, but the equiva...
متن کاملComplexity of DNF and Isomorphism of Monotone Formulas
We investigate the complexity of finding prime implicants and minimal equivalent DNFs for Boolean formulas, and of testing equivalence and isomorphism of monotone formulas. For DNF related problems, the complexity of the monotone case strongly differs from the arbitrary case. We show that it is DP-complete to check whether a monomial is a prime implicant for an arbitrary formula, but checking p...
متن کاملHard Tiling Problems with Simple Tiles
It is well-known that the question of whether a given finite region can be tiled with a given set of tiles is NP-complete. We show that the same is true for the right tromino and square tetromino on the square lattice, or for the right tromino alone. In the process, we show that Monotone 1-in-3 Satisfiability is NP-complete for planar cubic graphs. In higher dimensions, we show NP-completeness ...
متن کاملOptimal guarding of polygons and monotone chains
In this paper we study several problems concerning the guarding of a polygon or a x-monotone polygonal chain P with n vertices from a set of points lying on it. Our results are: (1) An O(n logn) time sequential algorithm for computing the shortest guarding boundary chain of a polygon P. (2) An O(n logn) time sequential algorithm for computing the smallest set of consecutive edges guarding a pol...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 145 شماره
صفحات -
تاریخ انتشار 1995